The programming language GCLA — A definitional approach to logic programming
نویسندگان
چکیده
منابع مشابه
A Definitional Approach to Functional Logic Programming
We describe a deenitional approach to the combination of functional and logic programming based on the theory of Partial Induc-tive Deenitions. The described method produces programs directly exe-cutable in the deenitional programming language GCLA. We show both a basic calculus for functional logic program deenitions and discuss a reened version where the rules deenitional resolution, deenitio...
متن کاملGCLA II - A Definitional Approach to Control
This paper describes the logic programming language GCLA II, its operational semantics and parts of its theoretical foundations. GCLA II is a generalization of the language GCLA (Generalized Horn Clause Language) augmented by a method to guide and constrain proof search. The method is based on specification of strategies in a meta language that is a sub language of GCLA itself. A GCLA II progra...
متن کاملProgramming Methodologies in GCLA
This paper presents work on programming methodologies for the programming tool GCLA. Three methods are discussed which show how to construct the control part of a GCLA program, where the definition of a specific problem and the set of intended queries are given beforehand. The methods are described by a series of examples, but we also try to give a more explicit description of each method. We a...
متن کاملEncoding Definitional Fragments of Temporal Action Logic into Logic Programming
Temporal Action Logics (TAL) is an expressive class of nonmonotonic temporal logics for reasoning about action and change. In previous work, it has been shown that a very general fragment of the logic can be reduced to firstorder logic with equality. Consequently, standard theorem proving techniques can be used to reason in TAL. TAL is intended to be used for robotics. In this case, standard th...
متن کاملA Logic Programming Approach to Frame-Based Language Design
In this paper, we will propose a logic programming approach to design a frame-based language. The relationship among frame, logic and Prolog is our basic design issue. Frame is considered as a collection of slot-relations, and frame reference/inference procedure can be specified in logic form. Prolog is used to represent all of these concepts. Frame is encoded with Prolog facts and rules. This ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: New Generation Computing
سال: 1990
ISSN: 0288-3635,1882-7055
DOI: 10.1007/bf03037453